the category of monoid actions in cpo
Authors
abstract
in this paper, some categorical properties of the category ${bf cpo}_{{bf act}text{-}s}$ of all {cpo $s$-acts}, cpo's equipped with actions of a monoid $s$ on them, and strict continuous action-preserving maps between them is considered. in particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. also, we show that the forgetful functor from ${bf cpo}_{{bf act}text{-}s}$ to the category of cpo's has both a left and a right adjoint.
similar resources
The category of monoid actions in Cpo
In this paper, some categorical properties of the category ${bf Cpo}_{{bf Act}text{-}S}$ of all {cpo $S$-acts}, cpo's equipped with actions of a monoid $S$ on them, and strict continuous action-preserving maps between them is considered. In particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. Also, we show that the forgetful functor from...
full textActions of a separately strict cpo-monoid on pointed directed complete posets
In the present article, we study some categorical properties of the category {$bf Cpo_{Sep}$-$S$} of all {separately strict $S$-cpo's}; cpo's equipped with a compatible right action of a separately strict cpo-monoid $S$ which is strict continuous in each component. In particular, we show that this category is reflective and coreflective in the category of $S$-cpo's, find the free a...
full textThe symmetric monoidal closed category of cpo $M$-sets
In this paper, we show that the category of directed complete posets with bottom elements (cpos) endowed with an action of a monoid $M$ on them forms a monoidal category. It is also proved that this category is symmetric closed.
full textactions of a separately strict cpo-monoid on pointed directed complete posets
in the present article, we study some categorical properties of the category {$bf cpo_{sep}$-$s$} of all {separately strict $s$-cpo's}; cpo's equipped with a compatible right action of a separately strict cpo-monoid $s$ which is strict continuous in each component. in particular, we show that this category is reflective and coreflective in the category of $s$-cpo's, find the free a...
full textThe Monoid of Queue Actions
Wemodel the behavior of a fifo-queue as a monoid of transformations that are induced by sequences of writing and reading. We describe this monoid by means of a confluent and terminating semi-Thue system and study some of its basic algebraic properties such as conjugacy. Moreover, we show that while several properties concerning its rational subsets are undecidable, their uniform membership prob...
full textRelative Invariance for Monoid Actions
Let S be a topological monoid acting on the topological space M . Let J be a subset of M . Our purpose here is to study the subsets of M which correspond, under the action of S, to the relative (with respect to J) invariant control sets for control systems (see [4] section 3.3). The relation x ∼ y if y ∈ cl(Sx) and x ∈ cl(Sy) is an equivalence relation and the classes with respect to this relat...
full textMy Resources
Save resource for easier access later
Journal title:
bulletin of the iranian mathematical societyPublisher: iranian mathematical society (ims)
ISSN 1017-060X
volume 41
issue 1 2015
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023